9.98/11.62	unsat
