20.73/23.07	unsat
