24.04/25.72	unsat
