24.45/24.95	unsat
