2.57/3.40	unsat
