20.64/20.92	unsat
