6.71/7.31	unsat
