unsat
HP-UX