24.93/25.01	unsat
