24.24/24.79	unsat
