8.97/11.92	unsat
