24.94/25.01	unsat
