24.52/25.35	unsat
