9.48/10.26	unsat
