20.15/22.92	unsat
