22.26/23.92	unsat
