1.39/2.67	unsat
