22.86/22.92	unsat
