3.27/3.74	unsat
