1.49/4.80	unsat
