22.83/22.92	unsat
