9.26/9.32	unsat
