1.49/4.18	unsat
