24.25/24.41	unsat
