1.49/4.81	unsat
