2.39/3.51	unsat
