11.58/11.92	unsat
