5.88/6.91	unsat
