24.53/24.74	unsat
