6.57/9.17	unsat
