9.88/10.54	unsat
