24.37/24.47	unsat
