2.39/3.66	unsat
