9.88/11.62	unsat
