5.93/5.99	unsat
