6.17/6.31	unsat
