24.35/27.85	unsat
