9.27/12.62	unsat
