5.99/9.73	unsat
