20.82/21.68	unsat
