5.58/7.80	unsat
