6.53/8.31	unsat
