24.39/25.09	unsat
