9.87/10.47	unsat
