9.87/11.47	unsat
