20.82/21.35	unsat
