6.07/9.00	unsat
