20.12/21.92	unsat
