7.57/10.29	unsat
