20.74/22.83	unsat
