21.73/23.02	unsat
