4.70/4.80	unsat
