24.35/25.61	unsat
