6.28/7.91	unsat
