5.28/6.80	unsat
