4.88/5.80	unsat
