9.57/12.36	unsat
