22.47/24.94	unsat
