4.77/5.80	unsat
