20.73/22.34	unsat
