20.73/23.44	unsat
