5.28/6.91	unsat
