9.26/9.97	unsat
