24.72/25.22	unsat
