20.39/20.92	unsat
