8.27/10.31	unsat
