24.32/24.47	unsat
