1.49/1.96	unsat
