24.22/24.47	unsat
