24.24/24.65	unsat
