1.49/4.73	unsat
