594.72/599.02	unsat
