24.78/24.94	unsat
