11.25/11.62	unsat
