9.27/10.24	unsat
