24.45/24.84	unsat
