1.27/3.10	unsat
