1.27/3.62	unsat
