4.87/5.80	unsat
