1.49/2.96	unsat
