22.85/22.92	unsat
