6.57/9.00	unsat
