5.83/7.80	unsat
