20.94/22.92	unsat
