1.39/2.96	unsat
