22.47/24.91	unsat
