9.47/11.02	unsat
