22.33/23.92	unsat
