4.89/5.80	unsat
