7.57/10.22	unsat
