24.66/24.79	unsat
