1.74/3.24	unsat
