20.18/21.92	unsat
